Sequential model

Results: 155



#Item
1

Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

Add to Reading List

Source URL: www.cs.rhul.ac.uk

Language: English - Date: 2013-02-08 18:19:57
    2

    Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

    Add to Reading List

    Source URL: www.cs.rhul.ac.uk

    Language: English - Date: 2013-02-08 18:19:57
      3

      An Evaluation of Sequential Model-Based Optimization for Expensive Blackbox Functions Frank Hutter Holger Hoos

      Add to Reading List

      Source URL: www.cs.ubc.ca

      - Date: 2013-05-11 05:48:52
        4Mathematical optimization / Control theory / Systems science / Academia / Cybernetics / Systems theory / Operations research / Model predictive control / Dynamic programming / Optimal control / Trajectory optimization / Sequential quadratic programming

        Timed-Elastic-Bands for Time-Optimal Point-To-Point Nonlinear Model Predictive Control

        Add to Reading List

        Source URL: www.rst.e-technik.tu-dortmund.de

        Language: English - Date: 2016-04-22 02:21:54
        5Computing / Computer architecture / Transaction processing / Concurrency control / Consistency model / Cache coherency / Sequential consistency / Linearizability / Cache / Eventual consistency / Sync / Weak consistency

        L8: Memory Models CSE 452 Winter 2016 “There are only two hard things in computer science: cache invalidation and naming things.”
 - Phil Karlton

        Add to Reading List

        Source URL: courses.cs.washington.edu

        Language: English - Date: 2016-01-22 21:17:29
        6Computing / Software engineering / Computer architecture / Parallel computing / Computer memory / GPGPU / Compiler construction / Programming language design / Consistency model / Sequential consistency / HSA Foundation / Memory model

        HSA MEMORY MODEL HOT CHIPS TUTORIAL - AUGUST 2013 BENEDICT R GASTER WWW.QUALCOMM.COM OUTLINE

        Add to Reading List

        Source URL: www.hotchips.org

        Language: English - Date: 2013-08-23 14:14:22
        7Computing / Concurrent computing / Computer architecture / Cache coherency / Parallel computing / Transaction processing / Computer memory / Cache coherence / MESI protocol / Sequential consistency / Consistency model / Cache

        Design of Parallel and High-Performance Computing Fall 2014 Lecture: Memory Models Motivational video: https://www.youtube.com/watch?v=tW2hT0g4OUs

        Add to Reading List

        Source URL: spcl.inf.ethz.ch

        Language: English - Date: 2015-10-04 17:36:16
        8Computing / Concurrent computing / Computer architecture / Parallel computing / Transaction processing / Cache coherency / Cache coherence / Consistency model / Sequential consistency / Xeon / Computer memory / Linearizability

        Design of Parallel and High-Performance Computing Fall 2013 Lecture: Memory Models Instructor: Torsten Hoefler & Markus Püschel

        Add to Reading List

        Source URL: spcl.inf.ethz.ch

        Language: English - Date: 2014-01-06 07:53:19
        9Robotics / Multi-agent systems / Systems science / Artificial intelligence / Robot / Humanrobot interaction / Motion planning / Agent-based model / Cognitive science

        Effective Robot Teammate Behaviors for Supporting Sequential Manipulation Tasks Bradley Hayes1 and Brian Scassellati1 Abstract— In this work, we present an algorithm for improving collaborator performance on sequential

        Add to Reading List

        Source URL: bradhayes.info

        Language: English - Date: 2016-07-11 15:51:31
        10Mathematics / Set theory / Ordinal numbers / Philosophy of mathematics / Code / Inner model theory / First uncountable ordinal / Logic

        Optimal Sequential Delegation∗ Daniel Kr¨ahmer a,† Eugen Kov´aˇc a,b March 3, 2016

        Add to Reading List

        Source URL: www.wiwi.uni-bonn.de

        Language: English - Date: 2016-03-03 05:48:03
        UPDATE